p(1,2).
p(2,3).
p(3,4).
p(4,5).
p(5,6).
p(6,7).
p(7,8).
